An introduction to Core Erlang
نویسنده
چکیده
Core Erlang is a new, o ial ore language for the on urrent fun tional language Erlang. Core Erlang is fun tional, stri t, dynami ally typed, pattern mat hing, higher order and on urrent. It has been developed in ooperation between the High-Performan e Erlang proje t at Uppsala University and the Erlang/Open Tele om Platform development team at Eri sson, and is a entral omponent in the new release of the Erlang/OTP ompiler. This paper des ribes the ore language, its relation to Erlang, and the history of its development. We show examples of translation from Erlang to Core Erlang, illustrating how analysis and transformation of Erlang programs is greatly simplied by being performed at the ore language level.
منابع مشابه
The Design of Scalable Distributed Erlang
The multicore revolution means that the number of cores in commodity machines is growing exponentially. Many expect 100,000 core clouds/platforms to become commonplace, and the best predictions are that core failures on such an architecture will become relatively common, perhaps one hour mean time between core failures. The RELEASE project aims to scale Erlang to build reliable general-purpose ...
متن کاملAn Interpretation of Erlang into Value-passing Calculus
In this paper we present a new process calculus VPCΣ and an interpretation for core Erlang. VPCΣ is at least as expressive as VPC and it is more effective for verification with some built-in functions. The wellestablished symbolic bisimulation in value-passing calculus is now helpful for solving the infinite-state space problem of data values in equivalence checking and verfication. Compared to...
متن کاملCold standby redundancy optimization for nonrepairable series-parallel systems: Erlang time to failure distribution
In modeling a cold standby redundancy allocation problem (RAP) with imperfect switching mechanism, deriving a closed form version of a system reliability is too difficult. A convenient lower bound on system reliability is proposed and this approximation is widely used as a part of objective function for a system reliability maximization problem in the literature. Considering this lower bound do...
متن کاملA Declarative Debugger for Sequential Erlang Programs
Declarative debuggers are semi-automatic debugging tools that abstract the execution details to focus on the program semantics. Erroneous computations are represented by suitable trees, which are traversed by asking questions to the user until a bug is found. This paper applies declarative debugging to the sequential subset of the language Erlang. The debugger takes the intermediate representat...
متن کاملMulti-level Visualization of Concurrent and Distributed Computation in Erlang
This paper describes a prototype visualization system for concurrent and distributed applications programmed using Erlang, providing two levels of granularity of view. Both visualizations are animated to show the dynamics of aspects of the computation. At the low level, we show the concurrent behaviour of the Erlang schedulers on a single instance of the Erlang virtual machine, which we call an...
متن کامل